Closes: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/8481
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3776>
// panel colors
$panel_bg_color: if($variant == 'light', $_base_color_light, $dark_5);
$panel_fg_color: if($variant == 'light', $_base_color_dark, $light_1);
+$panel_border_color: if($variant == 'light', transparentize($_base_color_dark, .9), transparent);
// card elements
$card_bg_color: if($variant == 'light', $light_1, lighten($bg_color, 7%));
@extend %numeric;
transition-duration: $panel_transition_duration;
+ @if $variant == 'light' {
+ // uses half a pixel to compensate for box-shadow weirdness
+ box-shadow: inset 0 -0.5px 0 0 $panel_border_color;
+ }
+
// panel menus
.panel-button {
@include panel_button();